Optimal. Leaf size=81 \[ -p r \text{PolyLog}\left (2,-\frac{b x}{a}\right )-q r \text{PolyLog}\left (2,-\frac{d x}{c}\right )+\log (x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )-p r \log (x) \log \left (\frac{b x}{a}+1\right )-q r \log (x) \log \left (\frac{d x}{c}+1\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0657538, antiderivative size = 81, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 3, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.12, Rules used = {2494, 2317, 2391} \[ -p r \text{PolyLog}\left (2,-\frac{b x}{a}\right )-q r \text{PolyLog}\left (2,-\frac{d x}{c}\right )+\log (x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )-p r \log (x) \log \left (\frac{b x}{a}+1\right )-q r \log (x) \log \left (\frac{d x}{c}+1\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2494
Rule 2317
Rule 2391
Rubi steps
\begin{align*} \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{x} \, dx &=\log (x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )-(b p r) \int \frac{\log (x)}{a+b x} \, dx-(d q r) \int \frac{\log (x)}{c+d x} \, dx\\ &=-p r \log (x) \log \left (1+\frac{b x}{a}\right )+\log (x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )-q r \log (x) \log \left (1+\frac{d x}{c}\right )+(p r) \int \frac{\log \left (1+\frac{b x}{a}\right )}{x} \, dx+(q r) \int \frac{\log \left (1+\frac{d x}{c}\right )}{x} \, dx\\ &=-p r \log (x) \log \left (1+\frac{b x}{a}\right )+\log (x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )-q r \log (x) \log \left (1+\frac{d x}{c}\right )-p r \text{Li}_2\left (-\frac{b x}{a}\right )-q r \text{Li}_2\left (-\frac{d x}{c}\right )\\ \end{align*}
Mathematica [A] time = 0.0630908, size = 78, normalized size = 0.96 \[ -p r \text{PolyLog}\left (2,-\frac{b x}{a}\right )-q r \text{PolyLog}\left (2,-\frac{d x}{c}\right )+\log (x) \left (\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )-p r \log \left (\frac{b x}{a}+1\right )-q r \log \left (\frac{d x}{c}+1\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.123, size = 0, normalized size = 0. \begin{align*} \int{\frac{\ln \left ( e \left ( f \left ( bx+a \right ) ^{p} \left ( dx+c \right ) ^{q} \right ) ^{r} \right ) }{x}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.20753, size = 170, normalized size = 2.1 \begin{align*} -\frac{{\left (f p \log \left (b x + a\right ) + f q \log \left (d x + c\right )\right )} r \log \left (x\right )}{f} + \log \left (\left ({\left (b x + a\right )}^{p}{\left (d x + c\right )}^{q} f\right )^{r} e\right ) \log \left (x\right ) + \frac{{\left ({\left (\log \left (b x + a\right ) \log \left (-\frac{b x + a}{a} + 1\right ) +{\rm Li}_2\left (\frac{b x + a}{a}\right )\right )} f p +{\left (\log \left (d x + c\right ) \log \left (-\frac{d x + c}{c} + 1\right ) +{\rm Li}_2\left (\frac{d x + c}{c}\right )\right )} f q\right )} r}{f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\log \left (\left ({\left (b x + a\right )}^{p}{\left (d x + c\right )}^{q} f\right )^{r} e\right )}{x}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left (\left ({\left (b x + a\right )}^{p}{\left (d x + c\right )}^{q} f\right )^{r} e\right )}{x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]